Logic Equivalence Checking (LEC)